Packing Steiner Trees: Separation Algorithms

In this paper we investigate separation problems for classes of inequalities valid for the polytope associated with the Steiner tree packing problem , a problem that arises, e. g., in VLSI routing. The separation problem for Steiner partition inequalities is NP-hard in general. We show that it can be solved in polynomial time for those instances that come up in switchbox routing. Our algorithm uses dynamic programming techniques. These techniques are also applied to the much more complicated separation problem for alternating cycle inequalities. In this case we can compute in polynomial time, given some point y, a lower bound for the gap ? a T y over all alternating cycle inequalities a T x. This gives rise to a very eeective separation heuristic. A by-product of our algorithm is the solution of a combinatorial optimization problem that is interesting in its own right: Find a shortest path in a graph where the \length" of a path is its usual length minus the length of its longest edge.